/*
 * freePBC.h
 *
 *  Created on: Sep 29, 2013
 *      Author: Alex Bouvy
 */

#ifndef FREEPCB_H_
#define FREEPCB_H_

int freePCB(struct MPX_PCB *pcb);

#endif /* FREEPCB_H_ */
